$\forall$$L$:(Realizer List), $A$:Realizer. ($\exists$$B$$\in$$L$.$A$ $\subseteq$ $B$) $\Rightarrow$ $A$ $\subseteq$ $\oplus$($L$)